Nuprl Definition : ideal
6,26
postcript
pdf
Ideal(
r
){i} == {
p
:(|
r
|
Prop)|
p
Ideal of
r
}
latex
clarification:
Ideal(
r
){i} == {
p
:(|
r
|
Prop{i})|
p
Ideal of
r
}
latex
Definitions
|
r
|
,
Prop
,
S
Ideal of
R
origin
Prop)| p Ideal of r }
Prop{i})| p Ideal of r } Prop)| p Ideal of r }
Prop{i})| p Ideal of r }